Science Oxford

Results: 1516



#Item
161¨l Ouaknine Joe January 21, 2016 Dept. of Computer Science, Oxford University Wolfson Building, Parks Road Oxford OX1 3QD

¨l Ouaknine Joe January 21, 2016 Dept. of Computer Science, Oxford University Wolfson Building, Parks Road Oxford OX1 3QD

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2016-01-20 19:37:47
    162Four-Phase Micropipeline Latch Control Circuits Stephen B. Furber and Paul Day Department of Computer Science, The University, Oxford Road, Manchester M13 9PL, England.  Abstract

    Four-Phase Micropipeline Latch Control Circuits Stephen B. Furber and Paul Day Department of Computer Science, The University, Oxford Road, Manchester M13 9PL, England. Abstract

    Add to Reading List

    Source URL: apt.cs.manchester.ac.uk

    Language: English - Date: 2014-05-13 09:16:37
      163Automatically Learning Gazetteers from the Deep Web∗ Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang Oxford University Computer Science Department, Wolfson Building, Parks Road, Oxford OX1 3

      Automatically Learning Gazetteers from the Deep Web∗ Tim Furche, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang Oxford University Computer Science Department, Wolfson Building, Parks Road, Oxford OX1 3

      Add to Reading List

      Source URL: christian.schallhart.net

      Language: English - Date: 2015-08-22 10:39:57
        164Forward and Backward Guarding in Early Output Logic Charlie Brej and Doug Edwards School of Computer Science, The University of Manchester,Oxford Road, Manchester, M13 9PL, UK Email: {cbrej,dedwards}@cs.man.ac.uk Abstrac

        Forward and Backward Guarding in Early Output Logic Charlie Brej and Doug Edwards School of Computer Science, The University of Manchester,Oxford Road, Manchester, M13 9PL, UK Email: {cbrej,dedwards}@cs.man.ac.uk Abstrac

        Add to Reading List

        Source URL: apt.cs.manchester.ac.uk

        Language: English - Date: 2014-05-13 09:16:37
          165A New Design Technique for Weakly Indicating Function Blocks P. Balasubramanian, D.A. Edwards School of Computer Science, The University of Manchester, Oxford Road, Manchester Ml 3 9PL, United Kingdom. E-mail: (padmanab,

          A New Design Technique for Weakly Indicating Function Blocks P. Balasubramanian, D.A. Edwards School of Computer Science, The University of Manchester, Oxford Road, Manchester Ml 3 9PL, United Kingdom. E-mail: (padmanab,

          Add to Reading List

          Source URL: apt.cs.manchester.ac.uk

          Language: English - Date: 2014-05-13 09:16:42
            166A Power-Efficient Duplex Communication System S.B. Furber†, A. Efthymiou† and Montek Singh‡, †Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. ‡Department of Co

            A Power-Efficient Duplex Communication System S.B. Furber†, A. Efthymiou† and Montek Singh‡, †Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. ‡Department of Co

            Add to Reading List

            Source URL: apt.cs.manchester.ac.uk

            Language: English - Date: 2014-05-13 09:16:19
              167Fixed Parameter Tractable Reasoning in DLs via Decomposition František Simanˇcík, Boris Motik, and Markus Krötzsch Department of Computer Science, University of Oxford, UK  1

              Fixed Parameter Tractable Reasoning in DLs via Decomposition František Simanˇcík, Boris Motik, and Markus Krötzsch Department of Computer Science, University of Oxford, UK 1

              Add to Reading List

              Source URL: korrekt.org

              Language: English - Date: 2012-03-20 09:42:10
                168MICHAEL D. RESNIK Mathematics as a Science of Patterns Oxford, Clarendon Press, 1997, cloth, £STEWART SHAPIRO

                MICHAEL D. RESNIK Mathematics as a Science of Patterns Oxford, Clarendon Press, 1997, cloth, £STEWART SHAPIRO

                Add to Reading List

                Source URL: www.colyvan.com

                Language: English - Date: 2012-07-01 13:04:50
                  169The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs

                  The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs

                  Add to Reading List

                  Source URL: staff.cs.manchester.ac.uk

                  Language: English - Date: 2006-04-12 13:19:58
                    170Parameterised Pushdown Systems with Non-Atomic Writes M. Hague Oxford University, Department of Computer Science and Laboratoire d’Informatique Gaspard-Monge, Universit´e Paris-Est

                    Parameterised Pushdown Systems with Non-Atomic Writes M. Hague Oxford University, Department of Computer Science and Laboratoire d’Informatique Gaspard-Monge, Universit´e Paris-Est

                    Add to Reading List

                    Source URL: www.cs.rhul.ac.uk

                    Language: English